Nuprl Definition : p_equiv
13,42
postcript
pdf
A
{
T
}
B
==
A
{
T
}
B
&
B
{
T
}
A
latex
Up
gen
algebra
1
Wellformedness Lemmas
p
equiv
wf
Definitions
P
&
Q
,
A
{
T
}
B
origin
{T} B == A 
{T} B & B {T} A {T} B == A {T} B & B {T} A {T} B